对于有理数x，用[x]表示不大于x的最大整数。请解方程

x=[25+y*y/25]
20+3y-10x=0 即x=2+3y/10
0<=25+y*y/25-x<1 即0<=2y*y-15y+1150<50
解不定式方程组 2y*y-15y+1150>=0 2y*y-15y+1150<50

因为2y*y-15y+1150>=0 化成 （y-15/4)^2+575-225/16>=0 无论y取何值恒成立
2y*y-15y+1150<50 化成 （y-15/4)^2+550-225/16<0 无解

取交集 最后得出 无解
此题化简后可看出 但如果计算求解 很麻烦

[(25+y^2)/25]=2+3y/10
左边为整数，所以右边也需为整数，因此y需为10的倍数，设y=10t, 这里t为整数
则[1+4t^2]=2+3t
即1+4t^2=2+3t
4t^2-3t-1=0
(4t+1)(t-1)=0
t=1, 或t=-1/4(舍去）
因此有：y=10